1.
Automated Theorem Proving in Software Engineering
by Johann M. Schumann
ISBN: 9783540679899
List Price: $119.00
2.
Automated Theorem Proving in Software Engineering
by Schumann, Johann M., Lovela...
ISBN: 9783642087592
List Price: $109.00
3.
Applications of Neural Networks in High Assurance Systems (Studies in Computational Intellig...
by Schumann, Johann M. Ph., Li...
ISBN: 9783642106897
List Price: $129.00
4.
Applications of Neural Networks in High Assurance Systems
by Schumann, Johann M. Ph., Li...
ISBN: 9783642262692
List Price: $159.00
5.
Applications of Neural Networks in High Assurance Systems
by Schumann, Johann M. Ph., Li...
ISBN: 9783642106910
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Automated Theorem Proving in Software Engineering
by Schumann, Johann M.
ISBN: 9783662226476
List Price: $24.99